ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future fragment of (...) the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

Desde una plataforma mental poco convencional, el enfoque del caos y la complejidad, el autor de este libro aventura una novedosa hipótesis interpretativa del fenómeno climático global. Plantea que la civilización del consumismo logró romper la dinámica natural de los ciclos orden caos, y abrió camino, durante la segunda mitad del siglo XX, a un segundo ciclo caos que podría llevarnos a la catástrofe que han advertido los científicos y estudiosos del tema.Manuel Guzmán Hennesy se plantea apor..

IntroductionIncorporating technology in cognitive interventions represents an innovation, making them more accessible, flexible, and cost-effective. This will not be feasible without adequate user-technology fit. Bearing in mind the importance of developing cognitive interventions whose technology is appropriate for elderly people with cognitive impairment, the objective of this systematic review was to find evidence about usability and user experience measurements and features of stimulation, training, and cognitive rehabilitation technologies for older adults with mild cognitive impairment or dementia.MethodThe Medline, PubMed, Scopus, ScienceDirect, (...) and PsycINFO databases were searched for literature published in the last 10 years, and three researchers independently reviewed potentially eligible studies, following specific inclusion criteria. A systematic review of the studies was conducted, presenting a qualitative synthesis of usability and UX measures with their outcomes, study characteristics and features of the cognitive intervention technologies.ResultsTen studies were selected: five were cognitive stimulation and five were cognitive training. Most of them were computer-based programs with a serious game format. Efficiency and effectiveness were the most frequent measurements used for collecting objective usability data, showing that elderly people with cognitive impairment require more time and help but can complete tasks. Regarding UX or subjective usability data, questionnaires and scales were the most used methods, reporting positive experience despite certain difficulties with the interface in five studies.ConclusionMeasuring usability and UX in cognitive intervention technologies for older adults with MCI or dementia provides an integrated view that can contribute to their development according to the needs and characteristics of the target population. More research is required to include this population group in usability and UX studies, as well as standardized tools and consensus on the relationship of these terms to guarantee the future effectiveness of cognitive intervention technologies.Review registrationThis review was registered in the PROSPERO International Register of Systematic Review Protocols. (shrink)

Las naciones y pueblos indígenas presentan preocupantes índices respecto a la salud, así como otras carencias como la pérdida de sus tierras, la alimentación, la educación y, en general, el ejercicio de sus derechos, consagrados por organizaciones internacionales como la ONU y la OMS-OPS. En Ecuador, de acuerdo con el orden jurídico constitucional, se han instrumentado políticas de salud que incluyen el lineamiento general de un enfoque intercultural de la atenciónprimaria que incorpora los saberes y prácticas ancestrales. Mediante una revisión (...) documental se examina la situación actual de la salud y la atención primaria entre las etnias indígenas del Ecuador. De este análisis se desprenden consideraciones para las políticas públicas de salud, la formación intercultural de los profesionales de los equipos de salud y, en especial, la articulación de las creencias, saberes y prácticas de la cultura de las etnias para la atención primaria de salud. Palabras Clave: Etnia, nacionalidad indígena, pueblo indígena, derecho a la salud, atención primaria. Referencias [1]Asamblea General de la Organización de las Naciones Unidas, «Resolución 48/134 de la Asamblea General de las Naciones Unidas sobre los Derechos de los pueblos y naciones indígenas,» de Asamblea General Resolución 48/134, New York, 2009. [2]Organización Panamericana de la Salud, «Derechos Humanos y Salud de los pueblos indígenas,» Organización Panamericana de la Salud, New York, 2008. [3]Alto Comisionado para los Derechos Humanos de la Organización de las Naciones Unidas, Declaración de las Naciones Unidas sobre los derechos de los pueblos indígenas. Manual para las instituciones nacionales de Derechos Humanos, Nueva York: Alto Comisionado de los Derechos Humanos de la Organización de las Naciones Unidas, 2013. [4]C. Torres Parodi y M. Bolis, «Evolución del concepto etnia/raza y su impacto en la formulación de políticas públicas para la equidad,» Revista Panamericana de Salud Pública, vol. 22, nº 3, pp. 405-414, 2007. [5]IIDH-OPS, «Salud indígena y derechos humanos,» OPS, Quito, 2006. [6]Organización Panamericana de la Salud, «Iniciativa de la Salud para los Pueblos Indígenas. Lineamientos estratégicos. Plan de acción 2003-2007,» Organización Mundial de la Salud, Quito, 2003. [7]Consejo Mundial de las Iglesias, «Segunda Asamblea Mundial de la Salud de los Pueblos,» Consejo Mundial de las Iglesias, Quito, 2005. [8]Grupo Internacional de Trabajo sobre asuntos indígenas, Instituto de Promoción de Estudios Sociales, Fundación Diversidad, «El Derecho a la Salud de los pueblos indígenas en aislamiento y en contacto inicial,» Grupo Internacional de Trabajo sobre Asuntos Indígenas, Quito, 2007. [9]Organización Panamericana de la Salud, «Salud de los pueblos indígenas de las Américas,» OPS, Quito, 1998. [10]Organización Inernacional del Trabajo, «Convenio número 169 de la OIT. sobre pueblos indígenas y tribales: hacia un futuro inclusivo, sostenible y justo.,» OIT, New York, 2019. [11]L. Almeida Vera, «Fundamentación del modelo de gestión intercultural ecuatoriana en la atención primaria desalud,» Medisam, vol. 8, nº 18, pp. 46-61, 2014. [12]Organización Internacional del Trabajo, «Implementación del Convenio núm 169 de la OIT sobre los pueblos indígenas y tribales: Hacia un futuro inclusivo, sostenible y justo,» OIT, New York, 2019. [13]C. Eysaguirre, Proceso de incorporación de la medicina tradicional, alternativa y complementaria en las prácticas oficiales de la salud. Tesis Magister Antropología, Lima: Universidad Nacional Mayor de San Marcos, 2016. [14]Organización de las Naciones Unidas para la Agricultura y la Alimentación, «Sobre la salud y la seguridad de los pueblos indígenas en riesgo debido al coronavirus,» FAO, New York, 2020. [15]Enlace Continental de Mujeres Indígenas de las Américas, Alianza de Mujeres Indígenas de Centroamérica y México, Red de Mujeres Indígenas Asiáticas, Organización de Mujeres Indígenas Africanas, «Llamado colectivo de las mujeres indógenas ante el COVID 19. Foro Internacional de Mujeres Indígenas,» ONU, New York, 2020. [16]Laboratorio de interculturalidad FLACSO Ecuador, Etnohistoria de los pueblos y nacionalidades originarias del Ecuador, Quito: FLACSO Ecuador, 2015. [17]UNICEF, Nacionalidades y pueblos indígenas. Políticas interculturales en Ecuador, Quito: UNICEF, 2009. [18]República del Ecuador, «Constitución de la República del Ecuador,» de 2008, Quito, 2008. [19]S. Ramírez Hita, «Políticas de salud basadas en el concepto de multiculturalidad: los centros de salud intercultural en el altiplano boliviano,» Avá Revista de Antropología, vol. 14, nº 2, pp. 1-28, 2009. [20]E. Arteaga, M. San Sebastián y A. Amores, «Construcción participativa de indicadores de la implementación del modelo de salud intercultural en el cantón Loreto, Ecuador,» Saúde em Debate, vol. 36, nº 94, pp. 402-413, 2012. [21]L. Véliz Rojas, A. Bianchetti Saavedra y M. Silva Fernández, «Competencias interculturales en la atención primaria de salud: un desafío para la educación superior frente a contextos de diversidad cultural,» Cuadernos de Saúde Pública, vol. 35, nº 1, pp. 62-71, 2019. [22]C. Walsh, Interculturalidad: Estado, sociedad: luchas decoloniales de nuestra época, Quito: Abya Yala UASB, 2015. [23]E. Ortiz Prado y G. Ceballos Serra, «Marco estratégico para la protección de los pueblos indígenas en aislamiento voluntario y contacto inicial. Consultoría sobre situación de salud de los pueblos indígenas en aislamiento y contacto inicial en el Ecuador,» Organización del Tratado de Cooperación Amazónica, Quito, 2014. [24]J. Betancurt, A. Green, J. Carrillo y Anane-Firempong, «Defining Cultural competence: a practical framework for adressing racial/ethnic disparities in health and health care,» Public Health, vol. 118, nº 2, pp. 293-302, 2016. [25]R. Ceballos, A. Amores y R. Rojas, Prestación de servicios de salud en zonas con pueblos indígenas, Quito: Programa Regional de Salud de los Pueblos Indígenas, 2009. [26]L. Pereira de Melo, «A contemporaneidade da teoría do cuidado cultural de Madeleine Leininger: una perspectiva geohistórica,» Ensaios e Ciencia: ciencias biológicas, agrarias e da Saúde, vol. 14, nº 2, pp. 21-32, 2010. [27]C. Rohrbach-Viadas, «Introducción a la teoría de los cuidados culturales enfermeros de la diversidad y la universalidad de Madeleine Leininger,» Revista Cultura del cuidado, vol. 2, nº 3, pp. 32-46, 1998. [28]O. Aguilar Guzmán, I. Carrasco González, M. García Piña, A. Saldívar y R. Ostiguín Meléndez, «Madeleine Leininger: análisis de sus fundamentos teóricos,» Revista de Enfermería Universitaria, vol. 4, nº 2, pp. 26-32, 2007. (shrink)

The paper presents a teaching experience implemented in two Sociology of Work courses at two Spanish universities. The teaching practice consists of the leisurely, reflective and critical reading of a classic text of the Sociology of Work, after which the students must prepare a mind map, that is, a graphic representation in which ideas are schematically organized and associated. The analysis of the students’ responses to a questionnaire allows us to affirm that the practice of mind maps is a creative, (...) visual and useful method of synthesizing and memorizing a classic sociological text. (shrink)

Apoyándose en Nietzsche, Jean-Luc Marion afirma junto con él la «muerte de Dios». Sin embargo, el filósofo francés va a proponer una nueva reinterpretación de la «muerte de Dios» proclamada por Nietzsche. Para él, quien se proclama muerto no es el Dios vivo de las religiones históricaspositivas, sino un ídolo conceptual que se ha ido gestando a lo largo de la historia de la metafísica. La pretensión de este artículo no consiste sino en mostrar cómo Marion propone un pensamiento más (...) original de lo divino, un pensamiento que no torne lo divino en visible, ni se paralice en un primer visible o concepto, sino que dé a ver su invisibilidad desde la distancia que abre al hombre. (shrink)

This dissertation focuses on the topic of analyticity. The traditional concept of analyticity characterizes analytic sentences in at least two ways. On the one hand, these sentences are thought to be true in virtue only of the meaning of the expressions that constitute them. On the other hand, they are thought to be such that they can be concluded by competent speakers in an a priori fashion--that is, merely on the basis of the speakers' knowledge of the meaning of the (...) expressions contained in the sentences. In the dissertation I argue that these two ways of characterizing analyticity do not single out the same set of sentences, and that at least two different notions of meaning should be postulated to account for this fact. ;To show this I focus first on the notion of truth in virtue of meaning. I identify two ways in which a sentence can be said to be true in virtue of meaning: on the one hand, if the condition it expresses necessarily obtains; on the other hand, if semantic facts concerning the reference of the expressions that constitute it determine that it has to be true. I argue that the sets of sentences that can be said to be true in virtue of meaning according to these two criteria and the set of sentences ordinarily deemed analytically true do not coincide. ;I focus then on the second traditional criterion for analyticity--i.e., apriority. This criterion determines a set of sentences--what I call a priori acceptable sentences--that seems to coincide most closely with the set of sentences we ordinarily judge to be analytic. To account for the disparity between the extensions of this and the 'truth in virtue of meaning' criteria I propose that a distinction should be made between truth-conditional meaning--which concerns the contribution of expressions to truth-conditions--and conceptual meaning--which concerns the abilities necessary for competence in a language. I finally argue that conceptual meaning cannot always guarantee the truth of a priori acceptable sentences. (shrink)

¿Existe tensión entre la democracia y el nacionalismo? Quizá deberíamos empezar por hacernos la pregunta. Los críticos del nacionalismo, desde luego, han puesto especial énfasis en la existencia de esa tensión, denunciando que el nacionalismo es incompatible con la democracia. Y la historia parece ofrecerles un amplio respaldo, pues no pocos de los peores acontecimientos del siglo pasado, de las dos guerras mundiales a la violencia interétnica en la antigua Yugoslavia, han dado una pésima reputación al nacionalismo, asociándolo con toda (...) clase de injusticias y atrocidades. Pero tal posición ha sido puesta en cuestión por quienes consideran que es injusto extender esas acusaciones a todo nacionalismo y sus simpatizantes alegan la existencia de discursos y políticas nacionalistas que se desarrollan dentro de los cauces y requisitos democráticos. (shrink)

La perspectiva historiográfica ofrecida por la teoría de las consecuencias involuntarias puede ser reconceptualizada en una concepción del mercado que explique su funcionamiento como una continua interrelación entre individuos que desconocen las consecuencias colectivas de los cursos de acción que emprenden.Asimismo, podrían distinguirse dos versiones de dicha teoria; de un lado, Ia versión débil, que se correspondería con el concepto de mercado de Hayek, y, deI otro, Ia versión fuerte. EI objetivo de este artículo es proponer el concepto al que (...) hemos denominado el principio de ignorancia, que seria una concepción acerca deI desenvolvimiento deI mercado acorde con los rasgos propios de Ia versión fuerte de Ia teoría de las consecuencias involuntarias.The historiographical perspective of the theory of unintended consequences can be reconceptualized into a conception of the market which explains its operation as a continuous interaction among individuals that do not know the collective consequences of their behaviours.Also, two versions of this theory might be distinguished, the weak version, which corresponds to Hayek’s concept of market, and the strong version. The aim of this paper is to propose the concept that we have termed as ignorance principIe, which is a conception of the operation of the market that fits to the characteristics of the strong version of the theory of unintended consequences. (shrink)

El objeto de este artículo es analizar la relación existente entre las ideas de Keynes y de Moore; yen particular, el papel desempeñado por el sentido común en el pensamiento de aquél. Fruto de este análisis, cabe afirmar que el sentido común ofrece una posible fundamentación epistemológica para el pensamiento económico, cuya virtud principal es que incrementaría el contenido pragmático de la teorización económica. El argumento se centra, principalmente, en el problema de la formación de expectativas y en el hecho (...) de que, en consonancia con la visión filosófica de Keynes, se precisan normas acordes con el sentido común para paliar la naturaleza irracional e incierta de los hechos económicos. (shrink)

Hace ya más de una década que se acuñó el concepto de "elearning", docencia virtual, aprendizaje online y otros similares para referirse a los procesos formativos apoyados total o parcialmente a través de las TIC en general, y particularmente, mediante entornos online. Desde entonces hasta el presente este formato de docencia y aprendizaje ha dejado de ser un fenómeno minoritario para convertirse en una modalidad de oferta educativa generalizada en muchas instituciones formativas.

The paper investigates the crisis of Portugese agriculture and the challenges connected with Portugal's integration into the European Economic Community (EEC). An historical overview of the economic and social development of the agricultural sector since the 1950s is provided. Additionally, a discussion of the principal differences between the Portugese agricultural crisis and that of other advanced European countries and the U.S. is carried out. In this portion of the paper it is argued that agriculture in Portugal is characterized by low (...) levels of productivity and production which contrast with the high levels of productivity and overproduction of other European and North American countries. Finally, an analysis of the possible future consequences of Portugal's further integration into the EEC is provided. (shrink)

En este artículo se entremezclan las construcciones clásicas de la analogía con estructuras jurídico-positivas que se hacen hoy presentes en la interpretación y aplicación del derecho. El marco de referencia de estos vínculos no puede ser otro que el de una ontología de la relación. Una vez esclarecidas las diferentes elaboraciones doctrinales, se pretende justificar, en primer lugar, que la “analogía de proporcionalidad intrínseca”, cuyo origen se encuentra en la tradición tomista, constituye el fundamento filosófico de la “analogia iuris”, tal (...) como hoy se concibe esta figura en el ámbito de la Teoría del derecho. En segundo lugar, en este trabajo se sostiene que la “analogía de atribución intrínseca”, cuyo origen se encuentra en el genio creador del pensamiento de Suárez, constituye el fundamento filosófico de la analogía legis, tal como se encuentra actualmente regulada esta figura en el Código Civil español. (shrink)

In this paper, I argue for a novel interpretation of Shepherd's notion of selfhood. In distinction to Deborah Boyle's interpretation, I contend that Shepherd differentiates between the mind and the self. The latter, for Shepherd, is an effect arising from causal interactions between mind and body—specifically those interactions that give rise to our present stream of consciousness, our memories, and that can unite these two. Thus, the body plays a constitutive role in the formation of the self. The upshot of (...) this interpretation is that it can dissolve the problem of individuating mind that Boyle identifies. Briefly, the problem consists in Shepherd seemingly individuating minds in terms of their associated bodies and bodies in terms of the minds they are united with. My interpretation, however, allows to see that Shepherd neither wants nor needs to individuate the mind in isolation of the body and to read the passages, in which the problem seems to arise, as being about what makes living beings individual—with mind and body both playing a crucial role in this context. (shrink)

Este artículo apunta a describir los significados que un grupo de universitarios ha construido sobre la experiencia de enseñar español a migrantes haitianos. La metodología corresponde a un estudio de caso cualitativo. El caso es un proyecto de responsabilidad social universitaria gestionado por académicos de la Universidad de Santiago de Chile, quienes forman, orientan y acompañan a un grupo de universitarios en su labor como monitores. La muestra estuvo conformada por 9 estudiantes, con un año de experiencia en el proyecto, (...) distribuidos en dos grupos de conversación. El análisis fue de carácter inductivo. Los resultados indican que los monitores experimentaron un proceso de ajuste de expectativas en torno a la enseñanza de una lengua, las situaciones emergentes, el grado de autonomía, la interacción didáctica, los aprendices y sus propias habilidades como docentes, entre otros. Se concluye que el modelo de intervención basado en el aprender haciendo y el aprendizaje cooperativo es válido para la formación de especialistas en enseñanza de ELE, aunque se requiere repensar el proceso de acompañamiento en aula por parte de los académicos encargados del proyecto. (shrink)